Evolutionary Testing Using an Extended Chaining Approach
نویسندگان
چکیده
Fitness functions derived from certain types of white-box test goals can be inadequate for evolutionary software test data generation (Evolutionary Testing), due to a lack of search guidance to the required test data. Often this is because the fitness function does not take into account data dependencies within the program under test, and the fact that certain program statements may need to have been executed prior to the target structure in order for it to be feasible. This paper proposes a solution to this problem by hybridizing Evolutionary Testing with an extended Chaining Approach. The Chaining Approach is a method which identifies statements on which the target structure is data dependent, and incrementally develops chains of dependencies in an event sequence. By incorporating this facility into Evolutionary Testing, and by performing a test data search for each generated event sequence, the search can be directed into potentially promising, unexplored areas of the test object's input domain. Results presented in the paper show that test data can be found for a number of test goals with this hybrid approach that could not be found by using the original Evolutionary Testing approach alone. One such test goal is drawn from code found in the publicly available libpng library.
منابع مشابه
Evolutionary search for test data in the presence of state behaviour
The application of metaheuristic search techniques, such as evolutionary algorithms, to the problem of automatically generating software test data has been a burgeoning interest for many researchers in recent years. To date, work in applying search techniques to structural test data generation has largely focused on generating inputs for test objects with input-output behaviour. This thesis aim...
متن کاملHybridizing Evolutionary Testing with the Chaining Approach
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often this is because the search does not take into account data dependencies within the program, and the fact that some special intermediate statement (or statements) needs to have been executed in order for the target stru...
متن کاملType-2 Fuzzy Hybrid Expert System For Diagnosis Of Degenerative Disc Diseases
One-third of the people with an age over twenty have some signs of degenerated discs. However, in most of the patients the mere presence of degenerative discs is not a problem leading to pain, neurological compression, or other symptoms. This paper presents an interval type-2 fuzzy hybrid rule-based system to diagnose the abnormal degenerated discs where pain variables are represented by interv...
متن کاملDecomposition and Analysis of Driving Forces of GHG Emissions and Emission Reduction Potentials in Iran
Climate change cannot control unless by reduction of GHG emissions to secure level, therefore it is important to identify driving forces and possible scenarios based on targets. In this research, the Logarithmic Mean Divisia Index decomposition approach in combination with Extended Kaya Identity (EKI) are applied to investigate five factors could affect emissions during 1971-2012 in Iran. Thes...
متن کاملSatchmore: Satchmo with Relevancy Satchmore: Satchmo with Relevancy
We introduce a relevancy detection algorithm to be used in conjunction with the SATCHMO prover. The version of SATCHMO considered here is essentially a bidi-rectional prover, utilizing Prolog (back-chaining) on Horn clauses and forward-chaining on non-Horn clauses. Our extension, SATCHMORE (SATCHMO with RElevancy), addresses the major weakness of SATCHMO: the uncontrolled use of forward-chainin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Evolutionary computation
دوره 14 1 شماره
صفحات -
تاریخ انتشار 2006